finite trace

有限迹

热门查询